set of contradictions